Event Structures for Interrupt Process Algebras
نویسندگان
چکیده
منابع مشابه
Event Structures for Interrupt Process Algebras
Interruption is a useful feature in programming and specification languages. Therefore, process algebras has been extended with an additional interrupt operator. We invent a class of event structures, called interrupt event structures, to give a true concurrent semantic to process algebras containing interruption. Interrupt event structures are more expressive than other event structures with r...
متن کاملProcess Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs
Process mining is a family of methods to analyze event logs produced during the execution of business processes in order to extract insights regarding their performance and conformance with respect to normative or expected behavior. The landscape of process mining methods and use cases has expanded considerably in the past decade. However, the field has evolved in a rather ad hoc manner without...
متن کاملModelling Simple Market Structures in Process Algebras with Locations
One potential barrier to electronic trading is the almost complete absence of any guarantees, for either trading party, that each will meet their obligations. Trust can be acquired from the use of a well-known name with an established reputation, when people are involved, but if the traders are software agents, names mean very little in the absence of reputation models. Thus, we aim to establis...
متن کاملCompensating for Interrupt Process Times in Real-Time Multimedia Systems
This paper describes an on-going work focused on using Adaptive Reservations to cope with unpredictabilities due to the interrupt processing times in real-time kernels. Using this approach, the execution time stolen by interrupt processing is modeled as a variation in the application execution times, and an adaptive scheduling mechanism automatically compensates its effects.
متن کاملMining with Eve - Process Discovery and Event Structures
This short-paper introduces our new process discovery plug-in Eve. Eve is part of the ProM Tool framework and based on event structures. Eve folds an event log to an event structure, before synthesizing a workflow model. The idea to recast process mining operations based on event structures as a behavioral model was suggested by Marlon Dumas and Luciano Garcı́a-Bañuelos two years ago. This short...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.04.024